<html>
<head><meta charset="utf-8"><title>Stacked Borrows: the paper · t-lang/wg-unsafe-code-guidelines · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/index.html">t-lang/wg-unsafe-code-guidelines</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Stacked.20Borrows.3A.20the.20paper.html">Stacked Borrows: the paper</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="181049220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Stacked%20Borrows%3A%20the%20paper/near/181049220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Stacked.20Borrows.3A.20the.20paper.html#181049220">(Nov 18 2019 at 19:47)</a>:</h4>
<p>The paper about Stacked Borrows is finally done :D<br>
<a href="https://plv.mpi-sws.org/rustbelt/stacked-borrows/" target="_blank" title="https://plv.mpi-sws.org/rustbelt/stacked-borrows/">https://plv.mpi-sws.org/rustbelt/stacked-borrows/</a><br>
If you have already read my blog posts, the paper does not say much you have not seen already. However, the paper is the most coherent and most complete introduction to Stacked Borrows so far. So if you were always confused by some aspect of Stacked Borrows, or if you have not read the previous blog posts, the paper is a great way to learn about Stacked Borrows.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>